Rigorous software development : an introduction to program verification / José Bacelar Almeida... [et al.]
Coauthor Almeida, José Bacelar Country Reino Unido. Publication London : Springer, cop. 2011 Description XII, 263 p. : il. ; 24 cm Series Undergraduate topics in computer science , 1863-7310 ISBN 978-0-85729-017-5 CDU 519.6 681.3.06| Item type | Current location | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - R | Available | 412299 | |||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - R | Available | 412300 | |||
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 519.6 - R | Available | 412301 |
Mestrado em Engenharia Informática Métodos Formais em Engenharia de Software 1º semestre |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.